Using Abstract State Machines to Model a Graphical User Interface System
نویسندگان
چکیده
A graphical user interface (GUI) system is a visual tool for users to operate computer applications. In the software engineering world, verifying that the functions of a GUI system satisfy the perspective of users is one important goal. System modeling provides an opportunity to verify the functionality of the system before implementing it. In this thesis, we model the GUI system of the CoreASM language debugger based on the abstract state machine (ASM) paradigm, and give a formal specification to the GUI system. This GUI system model provides a formal mathematical foundation to specify the architecture and the function form of the GUI system and to specify the interactive actions between the users and the computer application (the CoreASM engine). The design approach in this work incorporates both object-oriented and task-oriented approaches. A process of level-wise refinement is used to solve particular design problems.
منابع مشابه
ViBBA: A Toolbox for Automatic Model Driven Animation
In this paper, we present ViBBA (Visual Bean Based Animator), a toolbox supporting the automatic model driven animation [7] consisting in automatically deriving scenarios exposing critical system behaviors from requirements specifications, and animating those scenarios through a graphical interface. ViBBA allows visual construction of graphical animators and scenarios animation. It is integrate...
متن کاملAutomated Testing of Web Enabled Systems through FSM and Quick Test Professional
Software testing is an investigation conducted to provide stakeholders with information about the quality of the product or service under test. Software testing also provides an objective, independent view of the software to allow the business to appreciate and understand the risks of software implementation. Model-based testing refers to the processes and techniques for the automatic derivatio...
متن کاملA data mining approach to employee turnover prediction (case study: Arak automotive parts manufacturing)
Training and adaption of employees are time and money consuming. Employees’ turnover can be predicted by their organizational and personal historical data in order to reduce probable loss of organizations. Prediction methods are highly related to human resource management to obtain patterns by historical data. This article implements knowledge discovery steps on real data of a manufacturing pla...
متن کاملModeling and Testing Hierarchical GUIs
This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs) to reduce the number of states in the ”flat” Finite State Machine (FSM) resulting from the exploration of the model. Firstly, independent dialogs are identified and highlighted in a HFSM built from the FSM. Then, the portion o...
متن کاملUsing SoftBench to Integrate Heterogeneous Software Development Environments
Migrating from mainframe-based computing to client/server-based computing can result in a heterogeneous collection of machines that do not interoperate, forcing software developers to deal with unfamiliar system commands and systems that cannot share data. A SoftBench control daemon is described that enables developers to integrate heterogeneous computing systems into efficient, tightly coupled...
متن کامل